<?php

class __kernel_api {
	private static $kernel_ver = false;
	
	function redirect($url, $send_header=true) {
		if($send_header === true) {
			header('Location: '.$url);
		} elseif($send_header=='script') {
			echo'<script>window.document.location="'.$url.'"</script><a href="'.$url.'">Redirecting...</a>';
		}
		
		exit();
	}

    function getKernelVer() {
        if(self::$kernel_ver == false) {
            self::$kernel_ver = trim(implode(file(PATCH_KERNEL.'kernel_ver')));
        }
        return self::$kernel_ver;
    }
	
}

?>
